#ifndef _ISR_H_
#define _ISR_H_

#include <sched.h>
#include <td.h>

// Wake up all tasks awaiting the given event
void WakeAwaiters( sched *s, td *task, int eventid, int data );

// Default handler
void DefaultHandler( sched *s, td *task );

// Handle timer events
void TimerHandler( sched *s, td *task );

// Handle UART1 events
void Uart1Handler( sched *s, td *task );

// Handle UART2 events
void Uart2Handler( sched *s, td *task );

#endif // _ISR_H_
